
#include <config.h>
#include <kernel.h>

/**
 * This is the entrance for the *64* bit kernel. A lot of other stuff happens
 * before this is called: things like going from 32bit real to 64bit long
 * mode. At this point the kernel page tables have been alloced. Here we can 
 * start initializing the rest of the kernel.
 */
int main(){

  /* Print a welcome. */
  KPRINT("Welcome to x86_64 freeGSD");

}
